Results for 'G. Miguel Escobar'

1000+ found
Order:
  1. Educación alternativa, pedagogía de la pregunta y participación estudiantil: (prólogo de Paulo Freire).G. Miguel Escobar - 1990 - Ciudad Universitaria, México, D.F.: Facultad de Filosofía y Letras, Universidad Nacional Autónoma de México.
    No categories
     
    Export citation  
     
    Bookmark  
  2.  6
    An fNIRS Study of Brain Lateralization During Observation and Execution of a Fine Motor Task.Kosar Khaksari, Elizabeth G. Smith, Helga O. Miguel, Selin Zeytinoglu, Nathan Fox & Amir H. Gandjbakhche - 2022 - Frontiers in Human Neuroscience 15.
    Brain activity in the action observation network is lateralized during action execution, with greater activation in the contralateral hemisphere to the side of the body used to perform the task. However, it is unknown whether the AON is also lateralized when watching another person perform an action. In this study, we use fNIRS to measure brain activity over the left and right cortex while participants completed actions with their left and right hands and watched an actor complete action with their (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  20
    Agenda Setting in Social Networks and the Media during Presidential Elections.Aleixandre Brian Duche-Pérez, Cintya Yadira Vera-Revilla, Anthony Rolando Medina Rivas Plata, Olger Albino Gutiérrez-Aguilar, Manuel Edmundo Hillpa-Zuñiga & Antonio Miguel Escobar Juárez - 2023 - Human Review. International Humanities Review / Revista Internacional de Humanidades 21 (1):55-70.
    This article examines the role of social media and journalistic media in presidential electoral processes. A systematic review of scientific articles published from 2012 to 2022 was conducted. The results indicate that the media has a significant influence on public perception and the political agenda during election campaigns. Furthermore, the importance of evaluating political leaders in the voters' decision-making process is emphasized. In summary, the article provides valuable insights into how the media can shape the narrative and public opinion during (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  21
    Generalized Interpolation and Definability.E. G. K. López-Escobar - 1974 - Journal of Symbolic Logic 39 (2):337-338.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  12
    La refutación del origenismo en el Ambiguum 7 de Máximo el Confesor.Miguel Escobar Torres - 2021 - Isidorianum 23 (46):285-298.
    El artículo estudia la refutación del origenismo evagriano que lleva a cabo Máximo el Confesor en el Ambiguum 7, donde esta crítica está tematizada con mayor claridad. Máximo invierte la tríada origenista estabilidad-movimiento-creación, defendiendo con ello que las almas no preexisten a la creación, sino que lo que precede es la voluntad de Dios para con los seres creados, y que el cuerpo y el alma fueron creados simultáneamente.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  18
    An Outline of Mathematical Logic. Fundamental Results and Notions Explained with All Details.E. G. K. López-Escobar - 1983 - Journal of Symbolic Logic 48 (1):220-222.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Educación alternativa, pedagogía de la pregunta y participación estudiantil: (prólogo de Paulo Freire).Miguel Escobar Guerrero - 1990 - Ciudad Universitaria, México, D.F.: Facultad de Filosofía y Letras, Universidad Nacional Autónoma de México.
     
    Export citation  
     
    Bookmark  
  8.  22
    Logic: Techniques of Formal Reasoning.E. G. K. Lopez-Escobar - 1967 - Philosophical Review 76 (2):252.
  9.  31
    Constructions and negationless logic.E. G. K. López-Escobar - 1972 - Studia Logica 30 (1):7 - 22.
  10.  32
    E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388. [REVIEW]E. G. K. Lopez-Escobar - 1969 - Journal of Symbolic Logic 34 (2):301-302.
  11.  28
    On the interpolation theorem for the logic of constant domains.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (1):87-88.
  12.  51
    Determining Factors for Stress Perception Assessed with the Perceived Stress Scale in Spanish and Other European Samples.Miguel A. Vallejo, Laura Vallejo-Slocker, Enrique G. Fernández-Abascal & Guillermo Mañanes - 2018 - Frontiers in Psychology 9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  27
    A second paper "on the interpolation theorem for the logic of constant domains".E. G. K. López-Escobar - 1983 - Journal of Symbolic Logic 48 (3):595-599.
  14. Implicational logics in natural deduction systems.E. G. K. López-Escobar - 1982 - Journal of Symbolic Logic 47 (1):184-186.
  15.  35
    Equivalence between semantics for intuitionism. I.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (4):773-780.
  16.  17
    A Complete, Infinitary Axiomatization of Weak Second-Order Logic.E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (3):467-467.
  17.  6
    A Non-Interpolation Theorem.E. G. K. Lopez-Escobar - 1975 - Journal of Symbolic Logic 40 (3):457-458.
  18. Intuitionistic equivalence.E. G. K. Lopez-Escobar & Francisco Miraglia - 1999 - Manuscrito 22 (2):205.
     
    Export citation  
     
    Bookmark  
  19.  42
    Jon Barwise. Infinitary logic and admissible sets. The journal of symbolic logic, vol. 34 , pp. 226–252.E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):156-157.
  20.  20
    Kenneth Kunen. Implicit definability and infinitary languages. The journal of symbolic logic, vol. 33 , pp. 446–451.E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (2):341-342.
  21.  17
    On a Theorem of J. I. Malitz.E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (4):586-586.
  22.  19
    Richard A. Platek. Eliminating the continuum hypothesis. The journal of symbolic logic, vol. 34 , pp. 219–225.E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):166.
  23.  45
    Remarks on an infinitary language with constructive formulas.E. G. K. Lopez-Escobar - 1967 - Journal of Symbolic Logic 32 (3):305-318.
  24.  13
    The Logic of Classes.E. G. K. Lopez-Escobar - 2007 - Logic Journal of the IGPL 15 (5-6):689-706.
    An extension of the Quantified Propositional Calculus1 obtained by the addition of two binary propositional functions is put forward as an inheritor of E. Schröder's “Algebra der Logik”. The formal system is itself not new, in fact it forms part of A. P. Morse's “A Theory of Sets”; although the latter is considered as a first-order system. Since the additional propositional functions are not invariant under the logical biconditional, this system–and many others naturally obtained from it–give us a collection of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    Barwise Jon and Kunen Kenneth. Hanf numbers for fragments of L∞ω. Israel journal of mathematics, vol. 10 , pp. 306–320.E. G. K. López-Escobar - 1984 - Journal of Symbolic Logic 49 (1):315.
  26.  20
    Circumscription within monotonic inferences.E. G. K. López-Escobar - 1988 - Journal of Symbolic Logic 53 (3):888-904.
    A conservative extension of first order logic, suitable for circumscriptive inference, is introduced.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  27.  22
    David W. Kueker. Generalized interpolation and definability. Annals of mathematical logic, vol. 1 no. 4 , pp. 423–468.E. G. K. López-Escobar - 1974 - Journal of Symbolic Logic 39 (2):337-338.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  4
    Further applications of ultra-conservative ω-rules.E. G. K. López-Escobar - 1980 - Archive for Mathematical Logic 22 (3-4):89-102.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  59
    Konstrukcje a logika beznegacyjna.E. G. K. López-Escobar - 1972 - Studia Logica 30 (1):20-20.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. König's lemma, the ω-Rule and primitive recursive arithmetic.E. G. K. López-Escobar - 1985 - Archive for Mathematical Logic 25 (1):67-74.
     
    Export citation  
     
    Bookmark  
  31.  33
    Remarks on the church-Rosser property.E. G. K. López-Escobar - 1990 - Journal of Symbolic Logic 55 (1):106-112.
    A reduction algebra is defined as a set with a collection of partial unary functions (called reduction operators). Motivated by the lambda calculus, the Church-Rosser property is defined for a reduction algebra and a characterization is given for those reduction algebras satisfying CRP and having a measure respecting the reductions. The characterization is used to give (with 20/20 hindsight) a more direct proof of the strong normalization theorem for the impredicative second order intuitionistic propositional calculus.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  32.  5
    Variations on A System Of Gentzen.E. G. K. López-Escobar - 1981 - Mathematical Logic Quarterly 27 (25‐30):385-389.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  22
    Variations on A System Of Gentzen.E. G. K. López-Escobar - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):385-389.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  25
    Wilbur John WalkoeJr., Finite partially-ordered quantification. The journal of symbolic logic, vol. 35 , pp. 535–555.E. G. K. López-Escobar - 1975 - Journal of Symbolic Logic 40 (2):239-240.
  35.  5
    Edward Howells and Mark McIntosh. Editors. The Oxford Handbook of Mystical Theology. Oxford: Oxford University Press, 202. [REVIEW]Miguel Escobar Torres - 2022 - Revista Española de Filosofía Medieval 28 (2):173-175.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  5
    Reinhard LAUTH, He visto la Verdad. La filosofía de Dostoievski en una exposición sistemática. Thémata, Sevilla, 2014, 551 pp. [REVIEW]Miguel Escobar Torres - 2020 - Isidorianum 24 (47-48):367-369.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Especificación de temporalidad en modelos conceptuales para bases relacionales Y orientadas a objetos.Carlos Augusto Meneses Escobar, Jorge Alberto G. Lvez Correa & C. Julio - 2011 - Scientia et Technica 17.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Comunidades religiosas con capacidad de llamada y acogida.Miguel G. Estrada - 1983 - Naturaleza y Gracia 3:339-374.
    No categories
     
    Export citation  
     
    Bookmark  
  39. Carisma religioso e inserción diocesana (Anotaciones al Mutuae Relationes).Miguel G. Estrada - 1981 - Naturaleza y Gracia 1:87-116.
    No categories
     
    Export citation  
     
    Bookmark  
  40. San Francisco y la jerarquía eclesiastica.Miguel G. Estrada - 1982 - Naturaleza y Gracia 1:41-99.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  31
    Review: H. Jerome Keisler, Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers. [REVIEW]E. G. K. López-Escobar - 1973 - Journal of Symbolic Logic 38 (3):522-523.
  42.  14
    The creation of the Knowledge Zone of Curaçao: the power of a vision.Miguel Goede, Rostam J. Neuwirth & G. Louisa - 2012 - Journal of Information, Communication and Ethics in Society 10 (1):52-64.
    PurposeThe purpose of this paper is to present a case study of the creation of a Knowledge Zone in Curaçao to provide an insight into how a Knowledge Zone is established. After devising a vision, strategic alliances were formed. This created synergy and momentum, giving the project and process a life of their own.Design/methodology/approachThe project of creating a K‐Zone is based on a theoretical framework which draws upon the notion of a creative class, and how it can be attracted to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  15
    Review: G. V. Cudnovskii, Some Results in the Theory of Infinitely Long Expressions. [REVIEW]E. G. K. López-Escobar - 1972 - Journal of Symbolic Logic 37 (1):202-203.
  44.  19
    Čudnovskiǐ G. V.. Some results in the theory of infinitely long expressions. English translation of XXXVII 215 by Mendelson E.. Soviet mathematics, vol. 9 no. 2 , pp. 556–559. [REVIEW]E. G. K. López-Escobar - 1972 - Journal of Symbolic Logic 37 (1):202-203.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  19
    Street pavement classification based on navigation through street view imagery.Rafael G. de Mesquita, Tsang I. Ren, Carlos A. B. Mello & Miguel L. P. C. Silva - forthcoming - AI and Society:1-17.
    Computer vision research involving street and road detection methods usually focuses on driving assistance and autonomous vehicle systems. In this context, street segmentation occurs in real-time, based on images centered on the street. This work, on the other hand, uses street segmentation for urban planning research to classify pavement types of a city or region, which is particularly important for developing countries. For this application, it is needed a dataset with images from various locations for each street. These images are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  27
    Michael Morley. Omitting classes of elements. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 265–273. [REVIEW]E. G. K. Lopez-Escobar - 1968 - Journal of Symbolic Logic 33 (2):286-287.
  47.  17
    Review: Andrzej Grzegorczyk, Olgierd Wojtasiewicz, Waclaw Zawadowski, An Outline of Mathematical Logic. Fundamental Results and Notions Explained with All Details. [REVIEW]E. G. K. Lopez-Escobar - 1983 - Journal of Symbolic Logic 48 (1):220-222.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  18
    Review: David W. Kueker, Generalized Interpolation and Definability. [REVIEW]E. G. K. Lopez-Escobar - 1974 - Journal of Symbolic Logic 39 (2):337-338.
  49.  25
    Review: Jon Barwise, Infinitary Logic and Admissible Sets. [REVIEW]E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):156-157.
  50.  16
    Review: Jon Barwise, Kenneth Kunen, Hanf Numbers for Fragments of $L_{inftyomega}$. [REVIEW]E. G. K. Lopez-Escobar - 1984 - Journal of Symbolic Logic 49 (1):315-315.
1 — 50 / 1000